pure functional calculus

См. также в других словарях:

• Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… …   Wikipedia

• Pure mathematics — Broadly speaking, pure mathematics is mathematics motivated entirely for reasons other than application. It is distinguished by its rigour, abstraction and beauty. From the eighteenth century onwards, this was a recognized category of… …   Wikipedia

• Pure function — In computer programming, a function may be described as pure if both these statements about the function hold: # The function always evaluates the same result value given the same argument value(s). The function result value cannot depend on any… …   Wikipedia

• Functional integration — You may also be looking for functional integration (neurobiology) or functional integration (sociology). Functional integration is a collection of results in mathematics and physics where the domain of an integral is no longer a region of space,… …   Wikipedia

• Decomposition of spectrum (functional analysis) — In mathematics, especially functional analysis, the spectrum of an operator generalizes the notion of eigenvalues. Given an operator, it is sometimes useful to break up the spectrum into various parts. This article discusses a few examples of… …   Wikipedia

• Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… …   Wikipedia

• List of functional analysis topics — This is a list of functional analysis topics, by Wikipedia page. Contents 1 Hilbert space 2 Functional analysis, classic results 3 Operator theory 4 Banach space examples …   Wikipedia

• Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

• List of functional programming topics — This is a list of functional programming topics. Contents 1 Foundational concepts 2 Lambda calculus 3 Combinatory logic 4 Intuitionistic logic …   Wikipedia

• Normalization property (lambda-calculus) — In mathematical logic and theoretical computer science, a rewrite system has the strong normalization property (in short: the normalization property) if every term is strongly normalizing ; that is, if every sequence of rewrites eventually… …   Wikipedia

• types, theory of — In logic, a theory introduced by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910–13) to deal with logical paradoxes arising from the unrestricted use of propositional functions as variables. The type of a… …   Universalium